منابع مشابه
Formally defining medical processes.
OBJECTIVES To demonstrate a technology-based approach to continuously improving the safety of medical processes. METHODS The paper describes the Little-JIL process definition language, originally developed to support software engineering, and shows how it can be used to model medical processes. The paper describes a Little-JIL model of a chemotherapy process and demonstrates how this model, a...
متن کاملFormally Defining Coordination Processes to Support Contract Negotiation
The literature and practice of negotiation and auctions, especially in the burgeoning area of electronic commerce, demonstrate that there is a wide and rapidly growing variety of negotiation and auction processes both in use and proposed. We believe that in the future automated online auctions will become a fundamental building block for contract negotiation carried out electronically. To avoid...
متن کاملRigorously Defining and Analyzing Medical Processes: An Experience Report
This paper describes our experiences in defining the processes associated with preparing and administrating chemotherapy and then using those process definitions as the basis for analyses aimed at finding and correcting defects. The work is a collaboration between medical professionals from a major regional cancer center and computer science researchers. The work uses the Little-JIL language to...
متن کاملFormally Defining and Verifying Master/Slave Speculative Parallelization
Master/Slave Speculative Parallelization (MSSP) is a new execution paradigm that decouples the issues of performance and correctness in microprocessor design and implementation. MSSP uses a fast, not necessarily correct, master processor to speculatively split a program into tasks, which are executed independently and concurrently on slower, but correct, slave processors. This work reports on t...
متن کاملTowards Formally Defining and Verifying Master/Slave Speculative Parallelization
Master/Slave Speculative Parallelization (MSSP) is a new paradigm aiming at decoupling performance and correctness in microprocessor design and implementation. It is based on the idea that a speculative master processor splits the code and distributes tasks to independent slave processors, which can commit their results only under specific conditions. This work reports the first steps in our ef...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Methods of Information in Medicine
سال: 2008
ISSN: 0026-1270,2511-705X
DOI: 10.3414/me9120